\{$\ldots\,$$i$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$j$:$\mathbb{Z}\mid$ $j$ $\leq$ $i$\}